Nuprl Definition : l_interval
0,22
postcript
pdf
l_interval(
l
;
j
;
i
) == mklist(
i
-
j
;
x
.
l
[
j
+
x
])
latex
Definitions
mklist(
n
;
f
)
,
l
[
i
]
FDL editor aliases
l_interval
origin
x.l[j+x]) x.l[j+x])